kind{-}loc($k$;$i$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$islocal($k$) $\vee_{2}$ destination(lnk($k$)) = $i$